package edu.gatech.cc.concolic.expression;



public class IntegerVariable extends SymbolicVariable implements IntegerExpression {

	public IntegerVariable(String name) {
		super(name);
	}
	
	public void accept(SymbolicExpressionVisitor visitor) {
		visitor.visit(this);
	}
}
